#!/bin/bash

if [ -z $1 ]; then
  echo "usage: $0 host cmd [args...]"
  exit 1
fi

docker exec -it mininet /mininet/host-cmd $@
